Parallel Forward Deduction Algorithms of General-Purpose Entailment Calculus on Shared-Memory Parallel Computers
نویسندگان
چکیده
An automated forward deduction system for entailment calculus is an indispensable component of many application systems – such as theorem finding, active database, knowledge discovery systems – that require an autonomous reasoning engine. The performance of an automated forward deduction system is crucial to its applicability. In this paper, we present some parallel forward deduction algorithms for general-purpose entailment calculus on shared-memory parallel computers. We also present some evaluation results of these algorithms to show their effectiveness and efficiency.
منابع مشابه
Improving Performance of Automated Forward Deduction System EnCal on Shared-Memory Parallel Computers
The performance of an automated forward deduction system is crucial to its applicability. Since a forward deduction system working for discovery has no explicitly specified proposition or theorem given previously as goal, it often deduces many redundant intermediates, i.e., instances of those that have previously deduced. Therefore, how to reduce redundant intermediates is a general and difficu...
متن کاملEfficient Anticipatory Reasoning for Anticipatory Systems with Requirements of High Reliability and High Security
A practical anticipatory system with requirements of high reliability and high security must be able to perform any anticipatory reasoning to get enough effective conclusions anticipatorily within an acceptable time in order to satisfy the requirements from applications. This is a contradictory requirement since the execution time of anticipatory reasoning gets longer in proportion to the amoun...
متن کاملEnCal: an automated forward deduction system for general-purpose entailment calculus
This paper presents the fundamental design ideas, working principles, and implementation of an automated forward deduction system for general-purpose entailment calculus, named EnCal, shows its potential applications in knowledge acquisition, reasoning rule generation, and theorem finding, reports some current results of our experiments with EnCal, and suggests some important research problems.
متن کاملParallel MPI implementation of training algorithms for medium-size feedforward neural networks
Artificial neural networks provide a feasible approach to model complex engineering systems. Computational parallelism is assumed as a basis of the neural architectures. In the Russian Federal Nuclear Center VNIITF there exists a neural simulator Nimfa. In the framework of this project parallel versions of training algorithms for feed-forward neural networks based on the MPI standard are develo...
متن کاملOn the evaluation of matrix polynomials using several GPGPUs
Computing a matrix polynomial is the basic process in the calculation of functions of matrices by the Taylor method. One of the most efficient techniques for computing matrix polynomials is based on the Paterson– Stockmeyer method. Inspired by this method, we propose in this work a recursive algorithm and an efficient implementation that exploit the heterogeneous nature of current computers to ...
متن کامل